A Design of Component-based Modeling and Verification Tools for Embedded and Real-time Systems
· One min read
저자: Woo Jin Lee, Youngsul Shin
게재/발표: 2nd International Joint Workshop on Embedded Software and System Engineering Design Challenges, Daegu, Korea, May 20-23, 2008.
분야: Embedded Systems, Real-Time Systems, Component-Based Design
임베디드 및 실시간 시스템을 위한 컴포넌트 기반 모델링 및 검증 도구의 설계를 제안합니다.